$\forall$$T$:Type, $P$:($T$$\rightarrow\mathbb{B}$), $l$:($T$ List). filter($P$; $l$) $\in$ ($T$ List)